.tab-container {
  height: 100%;
}

.editor {
  height: 100%;
}

.margin-view-overlays {
  width: 50px;
  /*border: solid 1px red;*/
}
